Exercise logic.propositional.axiomatic

Description
Axiomatic proofs

Code	logic.propositional.axiomatic
Status	Experimental
Strategy	axiomatic
Rules	26
Buggy rules	0
OpenMath support	no
Restartable strategy	yes
Exercise generator	no
Examples	22

Example exercises

• list of examples

• other exercise: